大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Mathematical Software Symposium 的图书(共4258本)

Fundamental Approaches to Software Engineering [electronic resource] : 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

0
索取号：
作者：Rosenblum、 David S.、Taentzer、 Gabriele.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

0
索取号：
作者：Esparza、 Javier.、Majumdar、 Rupak.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Compiler Construction [electronic resource] : 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

0
索取号：
作者：Gupta、 Rajiv.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Programming Languages and Systems [electronic resource] : 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

0
索取号：
作者：Gordon、 Andrew D.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Foundations of Information and Knowledge Systems [electronic resource] : 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings

0
索取号：
作者：Link、 Sebastian.、Prade、 Henri.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Graph Drawing [electronic resource] : 17th International Symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009. Revised Papers

0
索取号：
作者：Eppstein、 David.、Gansner、 Emden R.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Engineering Secure Software and Systems [electronic resource] : Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings

0
索取号：
作者：Massacci、 Fabio.、Wallach、 Dan.、Zannone、 Nicola.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Fundamentals of Software Engineering [electronic resource] : Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers

0
索取号：
作者：Arbab、 Farhad.、Sirjani、 Marjan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Mathematical Methods for Curves and Surfaces [electronic resource] : 7th International Conference, MMCS 2008, T酶nsberg, Norway, June 26-July 1, 2008, Revised Selected Papers

0
索取号：
作者：D忙hlen、 Morten.、Floater、 Michael.、Lyche、 Tom.、Merrien、 Jean-Louis.、M酶rken、 Knut.、Schumaker、 Larry L.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

High Performance Networking, Computing, Communication Systems, and Mathematical Foundations [electronic resource] : International Conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009. Proceedings

0
索取号：
作者：Wu、 Yanwen.、Luo、 Qi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Biomedical Simulation [electronic resource] : 5th International Symposium, ISBMS 2010, Phoenix, AZ, USA, January 23-24, 2010. Proceedings

0
索取号：
作者：Bello、 Fernando.、Cotin、 St茅phane.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Sensor Systems and Software [electronic resource] : First International ICST Conference, S-CUBE 2009, Pisa, Italy, September 7-9, 2009, Revised Selected Papers

0
索取号：
作者：Hailes、 Stephen.、Sicari、 Sabrina.、Roussos、 George.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Practical Aspects of Declarative Languages [electronic resource] : 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings

0
索取号：
作者：Carro、 Manuel.、Pe帽a、 Ricardo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Rigorous Methods for Software Construction and Analysis [electronic resource] : Essays Dedicated to Egon B枚rger on the Occasion of His 60th Birthday

0
索取号：
作者：Abrial、 Jean-Raymond.、Gl盲sser、 Uwe.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Aspects of Mathematical Logic [electronic resource]

0
索取号：
作者：Casari、 E.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Mathematical Optimiation in Economics [electronic resource]

0
索取号：
作者：Finetti、 Bruno de.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.